OCL as a Core UML Transformation Language WITUML 2002 – Position Paper
نویسندگان
چکیده
Software developers spend most of their time modifying and maintaining existing products. In a recent article [7] we focused on the definition of UML refactorings (i.e. behavior-preserving transformations) specified by meta-level OCL pre& post-conditions. In this paper we propose to extend OCL with model modification features, thus allowing to implement model transformations at the same abstraction level as their specification. We then describe the global architecture of a model manipulation tool based on an OCL core.
منابع مشابه
Sharing OWL/SWRL and UML/OCL Rules
The paper presents a metamodel-driven model transformation approach to sharing rules between the Semantic Web Rule Language along with the Web Ontology Language (OWL/SWRL) and Object Constraint Language (OCL) along with UML (UML/OCL). The solution is based on the REWERSE Rule Markup Language (R2ML), a MOF-defined general rule language, as a pivotal metamodel and the bi-directional transformatio...
متن کاملNew Type Checking Rules for OCL (Collection) Expressions
The Object Constraint Language OCL is an integral part of UML, the Unified Modeling Language standard. It has been added to Rational’s UML core as a logic-based sublanguage for the definition of integrity constraints (invariants) on class diagrams as well as for the definition of preand postconditions of operations. Despite of the fact that OCL is called a statically typed language its type che...
متن کاملNew Type Checking Rules for OCL Expressions
The Object Constraint Language OCL is an integral part of UML, the Unified Modeling Language standard. It has been added to Rational’s UML core as a logic-based sublanguage for the definition of integrity constraints (invariants) on class diagrams as well as for the definition of preand postconditions of operations. Despite of the fact that OCL is called a statically typed language its type che...
متن کاملOn Interchanging Between OWL/SWRL and UML/OCL
The paper presents a metamodel-driven model transformation approach to interchanging rules between the Semantic Web Rule Language along with the Web Ontology Language (OWL/SWRL) and Object Constraint Language (OCL) along with UML (UML/OCL). The solution is based on the REWERSE Rule Markup Language (R2ML), a MOF-defined general rule language, as a pivotal metamodel and the bi-directional transfo...
متن کاملTowards Sharing Rules Between OWL/SWRL and UML/OCL
The paper presents a metamodel-driven model transformation approach to interchanging rules between the Semantic Web Rule Language along with the Web Ontology Language (OWL/SWRL) and Object Constraint Language (OCL) along with UML (UML/OCL). The solution is based on the REWERSE Rule Markup Language (R2ML), a MOF-defined general rule language, as a pivotal metamodel and the bidirectional transfor...
متن کامل